Definition, in die der zu bestimmende Gegenstand mittels einer Menge eingeführt wird, zu der dieser Gegenstand als Element gehört, 'Der Mitarbeiter, der die Lohnabteilung leitet'. In der Sprache der mathematischen Logik kann man eine nichtprädikative Definition folgendermaßen charakterisieren: Eine Menge M und ein Ob...